Operational Semantics of the Java Card Virtual Machine

机译：Java Card虚拟机的操作语义

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Igor A. Siveroni;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Operational semantics of the Java Card Virtual Machine [J] . Igor A. Siveroni Journal of Logic and Algebraic Programming . 2004,第1a2期

机译：Java Card虚拟机的操作语义
2. Managing the life cycle of Java Card applets in other Java virtual machines [J] . Michael Roland, Josef Langer, Rene Mayrhofer International journal of pervasive computing and communications . 2014,第3期

机译：在其他Java虚拟机中管理Java Card applet的生命周期
3. A B model for ensuring soundness of a large subset of the Java Card virtual machine [J] . Antoine Requet Science of Computer Programming . 2003,第3期

机译：B模型，用于确保Java Card虚拟机的较大子集的健全性
4. An Operational Semantics of the Java Card Firewall [C] . Marc Eluard, Thomas Jensen, Ewen Denne International Conference on Research in Smart Cards . 2001

机译：Java卡防火墙的操作语义
5. Comparison of Memory Allocation in the Jamaica and Oracle Java Virtual Machine. [D] . Goffart, Markus Christian. 2012

机译：牙买加和Oracle Java虚拟机中的内存分配比较。
6. Hybrid PolyLingual Object Model: An Efficient and Seamless Integration of Java and Native Components on the Dalvik Virtual Machine [O] . Yukun Huang, Rong Chen, Jingbo Wei, -1

机译：混合多语言对象模型：Dalvik虚拟机上Java和本机组件的高效无缝集成
7. Operational semantics of the Java Card Virtual Machine [O] . Siveroni Igor A. 2004

机译：Java Card虚拟机的操作语义

Operational Semantics of the Java Card Virtual Machine

著录项

引文网络

相似文献

相关主题

期刊订阅